iterator
Source: /avail/Avail/Data Abstractions/Iterators/Abstract Iterators
Categories: Data Abstractions, Iterators
Ensure that the specified iterator is not exhausted, then advance its state.
| Position | Name | Type | Description | |
|---|---|---|---|---|
| Parameters | ||||
| 1 | anIterator | iterator | An iterator. | |
| Returns | ⊤ | Raises | ||
| exhausted-iterator exception | If the iterator is exhausted. | |||